home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 9918 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  2.0 KB
  1. Path: line236.nwm.mindlink.net!user
  2. From: emery@grebyn.com (David Emery)
  3. Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++
  4. Subject: Re: C/C++ knocks the crap out of Ada
  5. Date: 5 Mar 1996 04:11:02 GMT
  6. Organization: MIND LINK! - British Columbia, Canada
  7. Message-ID: <emery-0403962012400001@line236.nwm.mindlink.net>
  8. References: <JSA.96Feb16135027@organon.com> <dewar.825640041@schonberg> <4h7i55INNknq@anvil.ugrad.cs.ubc.ca> <dewar.825776000@schonberg> <4hdt1tINN44i@keats.ugrad.cs.ubc.ca>
  9. NNTP-Posting-Host: line236.nwm.mindlink.net
  10.  
  11. In article <4hdt1tINN44i@keats.ugrad.cs.ubc.ca>, c2a192@ugrad.cs.ubc.ca
  12. (Kazimir Kylheku) wrote:
  13.  
  14. ...
  15. > To which I reply: computer programs are deterministic. They are not cars
  16. > barreling down the highway. Your analogy is completely idiotic, and belongs in
  17. > *.os.advocacy.
  18. ...
  19.  
  20. More and more computer programs are *NOT* deterministic, at least when
  21. considered from the perspective of the individual program.  As we do more
  22. distributed systems, the potential for race conditions, in particular,
  23. grows significantly.  Most of the bugs that I see on my Mac, for instance,
  24. seem to be tracable to race conditions or other non-deterministic (at least
  25. from the perspective of the failing program) behavior.  One of my "favorites"
  26. is in CCMail 2.1.1.  If you select multiple messages, and another message
  27. arrives while performing an operation on the set of messages, sometimes
  28. the new message forces a 'reevaluation' of the selection.  This results in
  29. the operation being performed on a message I didn't select originally,
  30. but that the program selected "for me".  
  31.  
  32. One advantage of Ada, and more important of Ada programmers, is that Ada
  33. provides a language for expressing concurrency and reasoning about the
  34. dynamic behavior of distributed programs.  Any Ada programmer who has
  35. had "Tasking 101" can describe a race condition.  I remember watching
  36. two very senior C engineers spend 30 minutes back and forth trying to
  37. work out a race condition that the Ada engineers detected and resolved 
  38. in 5 minutes...
  39.  
  40.                dave
  41.